Structural and Behavioral Modeling with Monadic Logics

نویسندگان

  • Abdelwaheb Ayari
  • David A. Basin
  • Stefan Friedrich
چکیده

Logic ooers the possibility of modeling and reasoning about hardware and software. But which logic? We propose monadic logics of strings and trees as good candidates for many kinds of discrete systems. These logics are natural, decidable, yet substantially more expressive , extensions of Boolean logic. We motivate their applicability through examples.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results

The monadic fragments of first-order Gödel logics are investigated. It is shown that all finite-valued monadic Gödel logics are decidable; whereas, with the possible exception of one (G↑), all infinitevalued monadic Gödel logics are undecidable. For the missing case G↑ the decidability of an important sub-case, that is well motivated also from an application oriented point of view, is proven. A...

متن کامل

Expressive power of monadic logics on words, trees, pictures, and graphs

We give a survey of the expressive power of various monadic logics on specific classes of finite labeled graphs, including words, trees, and pictures. Among the logics we consider, there are monadic secondorder logic and its existential fragment, the modal mu-calculus, and monadic least fixed-point logic. We focus on nesting-depth and quantifier alternation as a complexity measure of these logics.

متن کامل

Modeling Behavioral Brain Systems and Emotion Dysregulation with Psychological Vulnerability in Substance-Dependent Individuals in Recovery

Objective: The aim of this study was to investigate the modeling of behavioral brain systems and emotion dysregulation with psychological vulnerability in substance-dependent individuals in recovery. Method: The present study was descriptive-correlational of structural equation modeling type. The statistical population of this study consisted of all substance-dependent individuals in recovery i...

متن کامل

مدل معادلات ساختاری و کاربرد آن در مطالعات روانشناسی: یک مطالعه مروری

Introduction: Structural Equation Modeling (SEM) is a very general statistical modeling technique, which is widely used in the behavioral sciences. It can be viewed as a combination of path analysis, regression and factor analysis.  One of the prominent features of this method is the ability to compute direct, indirect and total effects, as well as latent variable modeling. Methods: This sy...

متن کامل

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999